02500	OP
02600	←(V1,A1)
02700	NIL
02800	NIL
02900	NIL
03000	ISVAR(V1);;
03100	C(V1,A1);;
03200	
03300	
03310	ITERATIVE
03320	TFACT
03330	NIL
03340	NIL
03350	NIL
03360	NEWVAR(V7);INTEGER(V4);VFACT(V5,V6);C(V3,V5);C(V7,V6);;
03370	C(V7,V10);C(V3,V9);VFACT(V9,V10);;
03380	C(V7,(ADD1 V10));CPROD(V3,V9,(ADD1 V10));;
03390	>(V10,V4);;
03400	FACT(V3,V4);;
03410	CFACT(V3,V4);;
03420	
03430	ITERATIVE
03440	TPROD
03450	NIL
03460	NIL
03470	NIL
03480	NEWVAR(V4);C(V4,(0));C(V1,(0));;
03490	C(V4,V6);C(V1,V5);PRODUCT(V5,V6,V3);;
03500	C(V4,(ADD1 V6));C(V1,(PLUS V5 V3));;
03510	=(V6,V2);;
03520	C(V1,(PROD V2 V3));;
03530	CPROD(V1,V2,V3);;
03540	
03550	AXIOM
03560	TAFACT
03570	NIL
03580	T
03590	NIL
03600	VFACT((DIV V9 V10),(SUB1 V10));;
03610	VFACT(V9,V10);;
03620	
03630	AXIOM
03640	TAPROD
03650	NIL
03660	T
03670	NIL
03680	{ =(V5,(0)); =(V6,(0));}  PRODUCT((MINUS V5 V3)(SUB1 V6)V3);;
03690	PRODUCT(V5,V6,V3);;
03700	
04550	NIL
04700	NIL
04800	
04900	ISVAR(X0);VFACT((1),(1));INTEGER(N);;
05000	
05100	T
05200	
05600	((C T NIL NIL (X,*))
05720	(> NIL NIL NIL NIL)
05725	(INTEGER NIL NIL NIL NIL)
05731	(= T NIL NIL NIL)
05733	(CPROD T NIL NIL NIL )
05735	(CFACT T NIL NIL NIL)
05737	(VFACT T NIL NIL NIL)
05738	(FACT T NIL NIL NIL)
05739	(PRODUCT T NIL NIL NIL)  )
05741	
05760	
06100	
06200	T
06300	
06400	((ADD1(X)( /( X /+ 1 /) ))
06450	(SUB1(X)( /( X /- 1 /) ))
06500	(PLUS(X Y)( /( X /+ Y /) ))  )
06600